lambda notation造句

In sentence 12 ), the Derived VP Rule is applied, rewriting these VP s using lambda notation.
The two equations you discuss look like this in the lambda notation ( I took out the division by two ):
According to Williams ( 1977 ), the Derived VP Rule converts VPs in surface structure into properties written in lambda notation.
The introduction of lexical scope resolved the problem by making an equivalence between some forms of lambda notation and their practical expression in a working programming language.
N . G . de Bruijn used the lambda notation for representing proofs of the theorem checker Automath, and represented propositions as " categories " of their proofs.
It's difficult to find lambda notation in a sentence. 用lambda notation造句挺难的

On this view,'the'is a quantificational determiner like'some','every','most'etc . The definite description'the'has the following denotation ( using lambda notation ):
Beside the system of oxidation numbers as used in " Stock nomenclature " for coordination compounds, and the lambda notation, as used in the IUPAC nomenclature of inorganic chemistry, " oxidation state " is a more clear indication of the electronic state of atoms in a molecule.
in which " Jane " is the subject referent argument and " ?x . x hurt x " is the predicate function ( a lambda abstraction ) with the lambda notation and " x " indicating both the semantic subject and the semantic object of sentence as being bound.